Analysis Cracking Corrosion on Carbon Steel Pipes API 5L-X65 In Solution 7700 ml Aquades, 250 ml Acetic Acid and 50 ml Ammonia with Gas CO2 and H2S in Saturation Condition
نویسندگان
چکیده
منابع مشابه
Elements of ML programming - ML 97 edition
elements of ml programming ml97 edition khbd elements of ml programming ml97 edition eyeguy elements of ml programming ml97 edition campen elements of ml programming ml97 edition anymix elements of ml programming ml97 edition dcnx elements of ml programming ml97 edition wigtql.herokuapp elements of ml programming ml97 edition ztrd elements of ml programming ml97 edition deelyey elements of ml p...
متن کاملML-236A, ML-236B, and ML-236C, new inhibitors of cholesterogenesis produced by Penicillium citrinium.
Sir: Clinical and nutritional studies have indicated that high cholesterol levels in the blood may be one of the major causes of atherosclerosis and coronary heart disease. In this context the metabolism of cholesterol in liver is of paramount importance because liver seems to be the sole organ supplying serum cholesterol and because the conversion of cholesterol into bile acids in liver is qua...
متن کاملCorrosion Inhibition of API 5L Carbon Steel by Nettle Leaves Hydroalcoholic Extract in a 0.5 M H2SO4 Solution
In this work, electrochemical methods such as Tafel polarization and electrochemical impedance spectroscopy (EIS) were used to study the inhibition efficiency of Nettle leaves hydroalcoholic extract as a green corrosion inhibitor of API 5L carbon steel in 0.5 M H2SO4 solution. The results showed that the inhibition efficiency was increased with increasing the concentration of the extract and th...
متن کاملMini ML
This theory defines the type inference rules and the type inference algorithm W for MiniML (simply-typed lambda terms with let) due to Milner. It proves the soundness and completeness of W w.r.t. the rules. A report describing the theory is found in [1] and [2]. 1 Universal error monad theory Maybe imports Main begin definition option_bind :: "[’a option, ’a => ’b option] => ’b option" where "o...
متن کاملHol-ml
We describe here HOL-ML, an encoding of a subset of SML and its dynamic semantics (as described by The Definition of Standard ML) in HOL. This encoding, which is the first stage in a project that will include typechecking and SML Modules, allows the formal study of the evaluation of a real programming language including state and control constructs (exceptions). In this paper we describe the su...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: EKSAKTA: Berkala Ilmiah Bidang MIPA
سال: 2018
ISSN: 2549-7464,1411-3724
DOI: 10.24036/eksakta/vol19-iss2/138